indirect proof assumption